بازگشت به فرم جستجو »

نمایش نتایج جستجو برای

نام همایش: دومین کنفرانس ملی اویونیک ایران

---

موارد یافت شده: 3

1 - معرفی و تحلیل ابزارهای نرم‌افزاری تزریق اشکال قابل استفاده در صنایع هوافضا (چکیده)
2 - طراحی روشی برای افزودن امکان تشخیص خطا در رأی‌گیرنده‌های نرم‌افزاری برای سیستم‌های نهفته بحرانی-ایمن (چکیده)
3 - بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن (چکیده)